high-assurance software java high reliability software j2ee high-reliability software c++ object oriented analysis ooa php .net high-integrity software html